< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
基于 Ma t l a b语言的遗传算法工具箱支持二进制和浮点数编码方式， 并且提供了多种选择、 交叉、 变异的方法。 通过具体实例对 Ma t l a b的遗传 算法工具箱的用法进行 了说 明介绍.
上传时间： 2017-09-05
上传用户：671145514
汇编&c语言code
上传时间： 2013-12-09
上传用户：zhangzhenyu
~{JGR 8vQ IzWwR5SC5D2V?bD#DbO5M3~} ~{3v?b~} ~{Hk?b~} ~{2iQ/5H9&D\~} ~{?IRTWw@)3d~} ~{TZ~}JDK1.4.2~{OBM(9}~}
上传时间： 2015-02-22
上传用户：ommshaggar
转载一份有关M68K反汇编C语言源代码， 需要自行编译。
上传时间： 2015-03-25
上传用户：songnanhua
一款不错的8/16位MCU软、硬件的汇编/C语言、指令学习与工程生成工具。 包括： Intel386(TM)EXProcessor 80C186EA/80C188EA,80C186EB/80C188EB,80C186EC/80C188EC, 80C186XL/80C188XL 8XC196KD,8XC196KC,8XC196KB,8XC198,8XC196KR,8XC196KQ,8XC196KT, 8XC196JR,8XC196JQ8XC196JT,8XC196NP,8XC196NT,8XC196NU 80C296SA 8XC52,8XC54,8XC58,8XC51FA,8XC51FB,8XC51FC 8XC251SA,8XC251SB,8XC251SP,8XC251SQ 8XC151SA,8XC151SB 8X930AxUSB 8X930Hx 很经典，指令格式、寄存器解释、自动生成小程序，基本上面面俱到，对于初、中级嵌入式软件工程师非常有用！
标签： 80 EXProcessor 186 Intel
上传时间： 2014-01-17
上传用户：plsee
b to b 模式 电子商务系统 ，c# 开发 , B/S结构
上传时间： 2014-01-20
上传用户：hanli8870
M68K反汇编C语言源代码 需要自行编译
上传时间： 2014-01-08
上传用户：xuanchangri
a XOR b> a,然后a XOR b< b,and both a and b are dependent data
上传时间： 2014-01-27
上传用户：yxgi5
樣板 B 樹 ( B - tree ) 規則 : (1) 每個節點內元素個數在 [MIN,2*MIN] 之間, 但根節點元素個數為 [1,2*MIN] (2) 節點內元素由小排到大, 元素不重複 (3) 每個節點內的指標個數為元素個數加一 (4) 第 i 個指標所指向的子節點內的所有元素值皆小於父節點的第 i 個元素 (5) B 樹內的所有末端節點深度一樣
上传时间： 2017-05-14
上传用户：日光微澜
